منابع مشابه
Spectral shifts in the properties of a periodic multilayered stack due to isotropic chiral layers
S. Anantha Ramakrishna1,2‡ and Akhlesh Lakhtakia1,3§ Department of Physics, Indian Institute of Technology Kanpur, Kanpur 208016, India Department of Physics, Indian Institute of Science Education and Research Mohali, Transit Campus, MGSIPA Complex, Sector-26, Chandigarh 160019, India NanoMM—Nanoengineered Metamaterials Group, Department of Engineering Science and Mechanics, Pennsylvania State ...
متن کاملThe Location Stack
The Location Stack is a set of design abstractions for location systems for ubiquitous computing. Our contribution presented in this paper is twofold. First, the Location Stack design abstractions themselves give the ubiquitous computing community a common vocabulary and comparative framework for multi-sensor location systems. Second, our implementation of the Location Stack employs novel proba...
متن کاملThe stack calculus
We introduce a functional calculus with simple syntax and operational semantics in which the calculi introduced so far in the Curry–Howard correspondence for Classical Logic can be faithfully encoded. Our calculus enjoys confluence without any restriction. Its type system enforces strong normalization of expressions and it is a sound and complete system for full implicational Classical Logic. W...
متن کاملThe Cotangent Stack
1.2. We refer to [LMB] for the basic background on stacks. Let us quickly recall: a stack over a scheme S is a sheaf of groupoids on the faithfully flat topology of S-schemes, where the presheaf requirement that the composition of the restriction maps is the restriction map of the composition is understood in the weak sense. Stacks form a 2-category with fiber products and there is a clear embe...
متن کاملclass STACK ( T ) is { { Implementation of STACK
Embedded speciications in object-oriented (OO) languages such as Eiiel and Sather are based on a rigorous approach towards validation, compatibility and reusability of sequential programs. The underlying method of \design-by-contract" is based on Hoare logic for which concurrency extensions exist. However concurrent OO languages are still in their infancy. They have inherently imperative facets...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Journal of Chemical Education
سال: 1989
ISSN: 0021-9584,1938-1328
DOI: 10.1021/ed066p756